<?php
class Foo {
    public DateTime $date;
}

